can a relation be symmetric and transitive but not reflexive